Step of Proof: ite_rw_test
9,38
postcript
pdf
Inference at
*
1
I
of proof for Lemma
ite
rw
test
:
1.
n
:
2. {1..
n
}
3. (
(0 = 0))
(
(
n
= 0))
False
latex
by SupInf
latex
.
Definitions
t
T
origin
}
(0 = 0)) 
((n = 0))
False
by SupInf
.
}
(0 = 0)) ((n = 0))
False
by SupInf
.
T